<body>
  Y86-Pipe-Minus implementation.
</body>